Lazy evaluation

Results: 44



#Item
21Functional languages / Type theory / Haskell / Functional programming / Type system / Lazy evaluation / Type inference / Pure / Strong typing / Software engineering / Programming language theory / Computing

A Haskell Roadshow Joachim Breitner January 20th 2011 Features

Add to Reading List

Source URL: www.joachim-breitner.de

Language: English - Date: 2014-10-06 15:51:37
22Computer programming / Programming paradigms / Models of computation / Computer data / Dataflow / SISAL / Lazy evaluation / Parallel computing / Functional programming / Computing / Software engineering / Computer architecture

h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 6 ❖

Add to Reading List

Source URL: www.nondot.org

Language: English - Date: 2001-03-26 23:03:39
23Functional languages / Functional programming / Literate programming / Monad / Curry / Haskell / Combinatory logic / Actor model / Lazy evaluation / Software engineering / Computing / Computer programming

c Cambridge University Press 2011 JFP 21 (4 & 5): 413–465, 2011.  413 doi:S0956796811000189 First published online 16 August 2011

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2011-11-24 23:45:09
24Procedural programming languages / Evaluation strategy / Eval / ALGOL 68 / Conditional / Function / Parameter / Lazy evaluation / Lambda calculus / Software engineering / Computing / Computer programming

Motivation The operations and control structures of imperative languages are strongly influenced by the way most real computer hardware works. This makes imperative languages relatively easy to compile, but (arguably) le

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2006-02-21 06:00:00
25Functional languages / Models of computation / Racket / Formal languages / Lambda calculus / ALGOL 68 / Lazy evaluation / Fold / Regular expression / Software engineering / Computing / Computer programming

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-03-24 18:44:54
26Functional languages / Procedural programming languages / Formal methods / Lambda calculus / Functional programming / Lazy evaluation / Pseudo-ring / Laziness / Combinatory logic / Software engineering / Computing / Computer programming

Profiling For Laziness Matthias Felleisen Stephen Chang [removed]

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-03-24 18:44:54
27Evaluation strategy / Type theory / Functional languages / Procedural programming languages / Programming paradigms / Lazy evaluation / Futures and promises / Strict programming language / ML / Software engineering / Computing / Computer programming

LazyJ: Seamless Lazy Evaluation in Java Alessandro Warth Computer Science Department University of California, Los Angeles [removed]

Add to Reading List

Source URL: tinlizzie.org

Language: English - Date: 2008-12-30 02:04:39
28Heap / Monad / Computing

An Operational Semantics for Parallel Lazy Evaluation Clem Baker-Finch David J. King Phil Trinder

Add to Reading List

Source URL: www.macs.hw.ac.uk

Language: English - Date: 2009-06-05 07:05:20
29Programming paradigms / Functional languages / Clojure / Functional programming / Literate programming / Assignment / Lazy evaluation / Syllabus / Imperative programming / Software engineering / Computing / Computer programming

CS 596 Functional Programming and Design Fall Semester, 2014 Syllabus © 2014, All Rights Reserved, SDSU & Roger Whitney San Diego State University -- This page last updated[removed]CS 596 Functional Programming & Desig

Add to Reading List

Source URL: www.eli.sdsu.edu

Language: English - Date: 2014-08-26 14:11:01
30Declarative programming / Combinatory logic / Lazy evaluation / Anonymous function / Fold / Apply / Free variables and bound variables / Function / Curry / Software engineering / Computing / Lambda calculus

PDF Document

Add to Reading List

Source URL: www.cs.columbia.edu

Language: English - Date: 2002-04-28 16:23:58
UPDATE